#include <stdio.h>

int main(void){
    int n;
    scanf("%d", &n);
    long long res = n * (n + 1) / 2;
    printf("%lld\n", res);

    return 0;
}
